Making information flow explicit in HiStar
نویسندگان
چکیده
منابع مشابه
Making information flow explicit in HiStar Citation
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify precise data security policies without unduly limiting the structure of applications. HiStar’s security features make it possible to implement a Unix-like environment with acceptable performance almost entirely in an untrus...
متن کاملExplicit information flow properties in JML
This paper considers how explicit information flow properties can be expressed and verified in a traditional program logic, using preand postconditions. As concrete specification language for expressing these properties we use the specification language JML for Java. For this we propose a new classification of information flow properties, namely positive and negative properties, where the forme...
متن کاملMaking Nondeterminism Explicit in Z
Specification of system requirements is often involved with ambiguity and nondeterminism. Formal methods tend to mitigate ambiguity but nondeterminism remains as an inherent part of specification. This is due to the abstraction from real world details that causes a formal specification to define several results as a correct solution to a problem. Hence, a support for nondeterminism should be fo...
متن کاملInformation flow in the pharmaceutical supply chain
Managing the supply chain plays an important role in creating competitive advantages for companies. Adequate information flow in supply chain is one of the most important issues in SCM. Therefore, using certain Information Systems can have a significant role in managing and integrating data and information within the supply chain. Pharmaceutical supply chain is more complex than many other supp...
متن کاملInformation flow in the pharmaceutical supply chain
Managing the supply chain plays an important role in creating competitive advantages for companies. Adequate information flow in supply chain is one of the most important issues in SCM. Therefore, using certain Information Systems can have a significant role in managing and integrating data and information within the supply chain. Pharmaceutical supply chain is more complex than many other supp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2011
ISSN: 0001-0782,1557-7317
DOI: 10.1145/2018396.2018419